Conversion to Principal Conjunctive Normal Form